Medical data processing and analysis for remote health and activities monitoring

Recent developments in sensor technology, wearable computing, Internet of Things (IoT), and wireless communication have given rise to research in ubiquitous healthcare and remote monitoring of human\u2019s health and activities. Health monitoring systems involve processing and analysis of data retrieved from smartphones, smart watches, smart bracelets, as well as various sensors and wearable devices. Such systems enable continuous monitoring of patients psychological and health conditions by sensing and transmitting measurements such as heart rate, electrocardiogram, body temperature, respiratory rate, chest sounds, or blood pressure. Pervasive healthcare, as a relevant application domain in this context, aims at revolutionizing the delivery of medical services through a medical assistive environment and facilitates the independent living of patients. In this chapter, we discuss (1) data collection, fusion, ownership and privacy issues; (2) models, technologies and solutions for medical data processing and analysis; (3) big medical data analytics for remote health monitoring; (4) research challenges and opportunities in medical data analytics; (5) examples of case studies and practical solutions

A Fluent Calculus Approach to Automatic Web Service Composition

Web service composition is mandatory when complex functional requirements cannot be satisfied by a single Web service. Because of the exponential growth of available Web services, their automatic discovery and composition are highly desirable tasks. This paper presents a new approach for automatic Web service composition based on the formalism of Fluent Calculus using semantic service descriptions. In our approach, the Web service composition process is viewed as an AI planning problem in the Fluent Calculus formalism. To semantically describe Web services, we have used a Web service domain ontology which is then translated into a Fluent Calculus knowledge base, necessary for the composition planning phase. For verifying the composed services, the Label Transition System Analyzer (LTSA) formalism is used. The paper also presents an experimental prototype for the Fluent Calculus based Web service composition and demonstrates its effectiveness with the help of an application scenario from the social event planning domain

Knowledge Acquisition from Historical Documents for Preserving Transylvanian Cultural Heritage

This paper proposes a solution for preserving the cultural heritage by performing knowledge acquisition from historical documents. We developed a system that gathers knowledge by processing the content of historical documents to enable knowledge retrieval as response to ontologically-guided queries. Knowledge acquisition, one of the main workflows in our system, aims to semantically annotate the content of historical documents and to enrich the domain ontology through lexical annotation and knowledge extraction processes. We use two types of rules in knowledge extraction, one dealing with extracting the relevant information from the documents' content and another one for mapping the extracted information to ontology concepts and properties. Our work was validated on documents available in the Cluj County National Archives addressing the Transylvanian medieval history

Energy-aware Provisioning of HPC Services through Virtualised Web Services

In this chapter we present a support infrastructure for Virtual Organisations allowing for complex IT service products delivery and distribution in a controlled yet open way. The provision of services under such paradigms usually requires a specialised environment and knowledge base and tools. In particular, in HPC (High Performance Computing) environments, a detailed knowledge of the available systems and of their behaviour and performances is of essential importance since it offers a way to avoid the downgrade of performances and the related increase of costs. Furthermore, HPC environments are characterised by a very high demand of energy. However, most users of such infrastructures are not aware of the technologies they are using, enforcing the involvement of according experts in order to avoid a non-optimal usage of the resources, and thus a waste of time, energy and money. We show examples of such a complex IT product by describing a sample process in the field of medical computation - cancellous bone simulation - and illustrate how such a complex product can be provided in an easy-to-use and energy-efficient fashion via a service virtualisation infrastructure

Constraint Handling Rules - What Else?

www.constraint-handling-rules.org Abstract. Constraint Handling Rules (CHR) is both an effective con-current declarative constraint-based programming language and a versa-tile computational formalism. While conceptually simple, CHR is distin-guished by a remarkable combination of desirable features: – a semantic foundation in classical and linear logic, – an effective and efficient sequential and parallel execution model – guaranteed properties like the anytime online algorithm properties – powerful analysis methods for deciding essential program properties. This overview of some CHR-related research and applications is by no means meant to be complete. Essential introductory reading for CHR provide the survey article [125] and the books [56, 63]. Up-to-date in-formation on CHR can be found online at the CHR web-page www. constraint-handling-rules.org, including the slides of the keynote talk associated with this article. In addition, the CHR website dtai